翻訳と辞書 Words near each other ・ Courbeveille ・ Courbevoie ・ Courbiac ・ Courbillac ・ Courbis ・ Courboin ・ Courbois ・ Courbouzon ・ Courbouzon, Jura ・ Courbouzon, Loir-et-Cher ・ Courbu ・ Courbépine ・ Courcebœufs ・ Courcelette ・ Courcelette Memorial ・ Courcelle's theorem ・ Courcelles ・ Courcelles (Paris Métro) ・ Courcelles massacre ・ Courcelles, Belgium ・ Courcelles, Charente-Maritime ・ Courcelles, Doubs ・ Courcelles, Loiret ・ Courcelles, Meurthe-et-Moselle ・ Courcelles, Nièvre ・ Courcelles, Quebec ・ Courcelles, Territoire de Belfort ・ Courcelles-au-Bois ・ Courcelles-Chaussy ・ Courcelles-de-Touraine Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Courcelle's theorem ： ウィキペディア英語版 Courcelle's theorem In the study of graph algorithms, Courcelle's theorem is the statement that every graph property definable in the monadic second-order logic of graphs can be decided in linear time on graphs of bounded treewidth.〔.〕〔.〕〔.〕 The result was first proved by Bruno Courcelle in 1990 and independently rediscovered by .〔.〕 It is considered the archetype of algorithmic meta-theorems.〔.〕〔.〕 ==Formulations== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Courcelle's theorem」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.